Antonio Cerone：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

Don't use scam websites

书籍 (17)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

年:

2022

语言:

english

文件:

PDF, 6.30 MB

0 / 0

english, 2022

2

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

年:

2022

语言:

english

文件:

PDF, 6.30 MB

0 / 5.0

english, 2022

3

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

António Abreu, João Vidal Carvalho, Pedro Liberato, Hazael Cerón Monroy, (eds.)

年:

2024

语言:

english

文件:

PDF, 15.44 MB

0 / 5.0

english, 2024

4

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Springer International Publishing;Springer

Frank de Boer, Antonio Cerone

年:

2020

语言:

english

文件:

PDF, 14.69 MB

0 / 0

english, 2020

5

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos (eds.)

年:

2014

语言:

english

文件:

PDF, 6.65 MB

0 / 0

english, 2014

6

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)

年:

2006

语言:

english

文件:

PDF, 3.72 MB

0 / 0

english, 2006

7

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

年:

2011

语言:

english

文件:

PDF, 3.64 MB

0 / 0

english, 2011

8

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Springer Nature

年:

2023

语言:

english

文件:

PDF, 16.02 MB

0 / 0

english, 2023

9

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Springer Nature Singapore

António Abreu, João Vidal Carvalho, Pedro Liberato, Hazael Cerón Monroy, (eds.)

语言:

english

文件:

EPUB, 49.52 MB

0 / 5.0

english

10

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Antonio Cerone, Marco Roveri

年:

2018

语言:

english

文件:

EPUB, 7.76 MB

0 / 5.0

english, 2018

11

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

年:

2011

语言:

english

文件:

PDF, 3.74 MB

0 / 0

english, 2011

12

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti]

年:

2009

语言:

spanish

文件:

AZW3 , 1.94 MB

0 / 0

spanish, 2009

13

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone

年:

2009

语言:

spanish

文件:

FB2 , 3.05 MB

0 / 0

spanish, 2009

14

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone]

年:

2009

文件:

LIT , 1.56 MB

0 / 0

2009

15

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti]

年:

2009

语言:

spanish

文件:

MOBI , 1.90 MB

0 / 0

spanish, 2009

16

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Antonio Cerone, Marco Roveri

年:

2018

语言:

english

文件:

PDF, 38.12 MB

0 / 0

english, 2018

17

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Springer International Publishing;Springer

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David De

年:

2020

语言:

english

文件:

PDF, 35.82 MB

0 / 0

english, 2020